Let <i>n</i> be a positive integer that is not prime, and let <i>p</i> be a prime divisor of <I>n</I>.  If 1 is the only divisor of <I>n</I> that is equal to 1 modulo <i>p</I>, then there does not exist a simple group of order <I>n</I>.